A Contraction Theorem in Fuzzy Metric Spaces

After Zadeh pioneering’s paper [15], where the Theory of Fuzzy Sets was introduced, hundreds of examples have been supplied where the nature of uncertainty in the behavior of a given system possesses fuzzy rather than stochastic nature. Non-stationary fuzzy systems described by fuzzy processes look as their natural extension into the time domina. From different viewpoints they were carefully studied. Fixed-point theory for contraction type mappings in fuzzy metric space is closely related to the fixed-point theory for the same type of mappings in probabilistic metric space of Menger type (see [10, 13]). The concept of fuzzy metric spaces recently have been introduced in different ways by many authors [1, 2, 8]. George and Veeramani [3, 4] modified the concept of fuzzy metric space which has been introduced by Kramosil and Michálek [9] and obtained a Hausdorff topology for this kind of fuzzy metric space. Here, we claim that if (X ,M,∗) is a fuzzy metric space, and A a contractive mapping of X into itself such that there exists a point x ∈ X whose sequence of iterates (An(x)) contains a convergent subsequence (Ani(x)); then ξ = limi→∞Ai(x) ∈ X is a unique fixed point. In addition, we can prove fuzzy Edelstein’s contraction theorem. Note that this happen when we consider the fuzzy metric space in the George and Veeramani’s sense. In addition, it is claimed that fuzzy Edelstein’s contraction theorem is true whenever we consider the fuzzy metric space in the Kramosil and Michálek’s sense. Finally, the existence of at least one periodic point will be proved and two question would arise. In order to do this, we recall some concepts and results that will be required in the sequel.